Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
Structural Proof Theory
pocket,
2008,
Engelsk,
ISBN 9780521068420
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the …
Implementing Programming Languages. An Introduction to Compilers and Interpreters
pocket,
2012,
Engelsk,
ISBN 9781848900646